package tr.edu.ege.kipler.satisfiability.completion.rules.dl;

import java.util.Set;

import tr.edu.ege.kipler.satisfiability.UnsatisfiableException;
import tr.edu.ege.kipler.satisfiability.container.ABox;
import tr.edu.ege.kipler.satisfiability.container.Individual;
import tr.edu.ege.kipler.satisfiability.container.WorldConstraintSystem;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface MergeStrategy {

	public MergePair choosePair(ABox aBox, Set<Individual> neighbors);

	public void merge(String owner, ABox aBox, MergePair mergePair,
			Set<WorldConstraintSystem> dependencySet) throws UnsatisfiableException;
}
